TSTP Solution File: ALG285^5 by SETHEO---3.3